/*
 * TIMER.h
 *
 * Created: 08.02.2013 18:54:12
 *  Author: saenko
 */ 


#ifndef TIMER_H_
#define TIMER_H_

	void timer_init(void);




#endif /* TIMER_H_ */